# -*- mode: snippet -*-
# name: Set Ltac Debug
# --
Set Ltac Debug
